# SPDX-License-Identifier: GPL-2.0
obj-$(CONFIG_IRQCHIP)			+= irqchip.o

obj-$(CONFIG_ARM_GIC) += irq-gic.o irq-gic-common.o
obj-$(CONFIG_ARM_GIC_V3) += irq-gic-v3.o irq-gic-common.o
